-
1 method of counterexamples
Большой англо-русский и русско-английский словарь > method of counterexamples
-
2 method of counterexamples
Математика: метод контрпримеровУниверсальный англо-русский словарь > method of counterexamples
-
3 method of counterexamples
мат.English-Russian scientific dictionary > method of counterexamples
-
4 method
метод; процедура; способ- antithetic variate method - average ordinate method - average range method - binary search method - conjugate directions method - conjugate gradient method - control chart method - conventional milling method - correlation function method - decision function method - differential control method - Feynman diagram method - first approximation method - gradient projection method - iterative method - large sample method - large sieve method - least-squares regression method - less than fully efficient method - linearly implicit method - method of adjoint gradient - method of algebraic addition - method of alternating directions - method of balanced blocks - method of complex numbers - method of confidence intervals - method of conformal mappings - method of conjugate directions - method of conjugate gradients - method of cyclic descent - method of detached coefficients - method of disjunction of cases - method of divided differences - method of electrical images - method of elimination of quantifiers - method of empty ball - method of extreme values - method of false position - method of feasible directions - method of finite differences - method of first approximation - method of first entrance - method of fitting constants - method of fixed points - method of full enumeration - method of generating functions - method of geometric exhaustion - method of indefinite coefficients - method of infinite descent - method of interval bisection - method of least absolute values - method of least distance - method of least likelihood - method of maximum likelihood - method of means and standard deviations - method of medians and extreme values - method of minimal change - method of minimal variance - method of mirror reflections - method of moving frame - method of multiple comparison - method of orthogonal projections - method of paired associates - method of paired comparisons - method of phase integrals - method of projecting cones - method of proportional parts - method of rotating factors - method of semantic tableaux - method of separation of variables - method of simulaneous displacements - method of stationary phase - method of statistical differentials - method of statistical inference - method of steep variations - method of steepest ascent - method of stochastic approximation - method of straightforward iteration - method of successive displacements - method of successive divisions - method of successive elimination - method of transfinite induction - method of unweighted means - method of variable differences - method of variation of parameters - method of weighted residuals - optimum method - parallel tangents method - precision method - random walk method - recursive method - reduced gradient method - reflected wave method - relative method of measurement - sampling method by variables - statistical sampling method - steepest descent method - time average method -
5 метод контрпримеров
Русско-английский научно-технический словарь Масловского > метод контрпримеров
-
6 метод контрпримеров
Большой англо-русский и русско-английский словарь > метод контрпримеров
-
7 метод контрпримеров
Mathematics: method of counterexamplesУниверсальный русско-английский словарь > метод контрпримеров
См. также в других словарях:
Quasi-empirical method — Quasi empirical methods are applied in science and in mathematics. The term empirical methods refers to experiment, disclosure of apparatus for reproduction of experiments, and other ways in which science is validated by scientists. Empirical… … Wikipedia
Gettier problem — A Gettier problem is a problem in modern epistemology issuing from counter examples to the definition of knowledge as justified true belief (JTB). The problem owes its name to a three page paper published in 1963, by Edmund Gettier, called Is… … Wikipedia
Imre Lakatos — For other people with the same name, see Lakatos (disambiguation). Imre Lakatos Imre Lakatos, c. 1960s Full name Imre Lakatos Born November 9, 1922 Debrecen, Hungary … Wikipedia
Four color theorem — Example of a four colored map A four colori … Wikipedia
Constructive proof — In mathematics, a constructive proof is a method of proof that demonstrates the existence of a mathematical object with certain properties by creating or providing a method for creating such an object. This is in contrast to a nonconstructive… … Wikipedia
Structural induction — is a proof method that is used in mathematical logic (e.g., the proof of Łoś theorem), computer science, graph theory, and some other mathematical fields. It is a generalization of mathematical induction. Structural recursion is a recursion… … Wikipedia
Graeco-Latin square — Orthogonal Latin squares of order 3 Orthogonal Latin squares of order 5 In mathematics, a Graeco Latin square or Euler square or orthogonal Latin squares of order n over two … Wikipedia
epistemology — epistemological /i pis teuh meuh loj i keuhl/, adj. epistemologically, adv. epistemologist, n. /i pis teuh mol euh jee/, n. a branch of philosophy that investigates the origin, nature, methods, and limits of human knowledge. [1855 60; < Gk… … Universalium
Collatz conjecture — Directed graph showing the orbits of small numbers under the Collatz map. The Collatz conjecture is equivalent to the statement that all paths eventually lead to 1 … Wikipedia
analysis — /euh nal euh sis/, n., pl. analyses / seez /. 1. the separating of any material or abstract entity into its constituent elements (opposed to synthesis). 2. this process as a method of studying the nature of something or of determining its… … Universalium
Paul Feyerabend — Full name Paul Feyerabend Born January 13, 1924(1924 01 13) Vienna, Austria Died February 11, 1994 … Wikipedia
